Add `next-error-highlight' and `next-error-highlight-no-select'.

diff --git a/etc/NEWS b/etc/NEWS
index ef3c6de93ec2b739bd16e450af2cc065dd2d514d..2b4f16efa13fcb60f884e0abca2aecec45a5b796 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -1862,7 +1862,9 @@ This option allows you to specify environment variables for inferior
 compilation processes without affecting the environment that all
 subprocesses inherit.
 
-*** `next-error' now temporarily highlights the corresponding source line.
+*** New options `next-error-highlight' and `next-error-highlight-no-select'
+specify the method of highlighting of the corresponding source line
+in new face `next-error'.
 
 ** Grep has been decoupled from compilation mode setup.